代數的 data 型 (ADT)
algebraic data type
代数的データ型 - Wikipedia
型の直積の直和で表される型
S(A,B,…) | T(C,D,…) | …
選言標準形 - Wikipedia
再歸 data 型 (recursive data type)
再帰データ型 - Wikipedia
入れ子 data 型 (nested data type)
型演算
$ \lambda\underline\omega